第45回情報科学若手の会「「定理証明器 Coq でスタック指向プログラミング」」